Bennett And Deutsch: The Nature Of Computation, Incompleteness And Mathematics